Grothendieck spectral sequence
A SPECTRAL SEQUENCE THAT COMPUTES THE DERIVED FUNCTORS OF THE COMPOSITION OF TWO FUNCTORS G ∘ F G\CIRC F, FROM KNOWLEDGE OF THE DERIVED FUNCTORS OF F F AND G G
Local-to-global Ext spectral sequence
In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced by Alexander Grothendieck in his Tôhoku paper, is a spectral sequence that computes the derived functors of the composition of two functors G\circ F, from knowledge of the derived functors of F and G.